Case v => case cont(x) == if x=v case else cont(x) fi 

latex

Definitions	if b t else f fi, i=j
FDL editor aliases	switch_case